substructural logics造句

• In substructural logic, however, this may become quite important.
• This yields a variety of substructural logic systems.
• Each of these can give a complete and axiomatic formalization of intuitionistic flavour, almost any modal logic, and many substructural logics, such as relevance logic or linear logic.
• By extension, the term "'noncommutative logic "'is also used by a number of authors to refer to a family of substructural logics in which the inadmissible.
• Substructural logics, a category including intuitionistic, relevant, linear logics, etc ., can be obtained by restricting the natural deduction ( " structural " ) rules for classical logic.
• It is only with the post-World War II rise of what have come to be known as substructural logics ( Restall 2000 ) that Orlov's pioneering role has gradually emerged.
• "' Substructural type systems "'are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances.
• The absorption law does not hold in many other algebraic structures, such as commutative rings, " e . g . " the field of real numbers, relevance logics, linear logics, and substructural logics.
• Other research topics in structural theory include analytic tableau, which apply the central idea of analytic proof from structural proof theory to provide decision procedures and semi-decision procedures for a wide range of logics, and the proof theory of substructural logics.
• This framework of separating judgments into distinct collections of hypotheses, also known as " multi-zoned " or " polyadic " contexts, is very powerful and extensible; it has been applied for many different modal logics, and also for linear and other substructural logics, to give a few examples.